How To: Use Xilinx And Modelsim For Verilog Synthesis And Simulation